Gradual typing - PDFSEARCH.IO - Document Search Engine

Gradual typing
Results: 54

#	Item
51	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-29 17:25:52 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
52	Space-Efficient Gradual Typing David Herman1 , Aaron Tomb2 , and Cormac Flanagan2 2 1 Northeastern University University of California, Santa Cruz Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-03-07 18:27:14 Type theory Data types Object-oriented programming Functional languages Procedural programming languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Computing Programming language theory
53	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
54	Gradual Typing of Erlang Programs: A Wrangler Experience Konstantinos Sagonas Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2009-04-23 03:56:24 Subroutines Type theory Higher-order functions Ericsson Erlang Type signature Fold Type system Modular programming Software engineering Computing Computer programming